$\forall$$D$:Dsys, $i$:Id, $m$:M($i$).Msg. mlnk($m$) $\in$ IdLnk